/*
 * Copyright (c) Huawei Technologies Co., Ltd. 2021. All Rights Reserved.
 * Description: dump page table
 * Author: cheng chao
 * Create: 2021-6-9
 */

#ifdef CONFIG_RTOS_MEM_DUMP_PAGETABLE
#ifndef __DUMP_PAGE_TABLE_H__
#define __DUMP_PAGE_TABLE_H__

extern void rtos_dump_pagetable(unsigned long addr);

#endif
#endif
